-
1 исчисление высказываний
Русско-английский словарь по вычислительной технике и программированию > исчисление высказываний
-
2 исчисление высказываний
Русско-английский словарь по нефти и газу > исчисление высказываний
-
3 вариационное исчисление
Русско-английский словарь по информационным технологиям > вариационное исчисление
-
4 язык высказываний
Русско-английский большой базовый словарь > язык высказываний
-
5 исчисление
с. calculus -
6 дифференциальное исчисление
1. calculus2. differential calculusРусско-английский большой базовый словарь > дифференциальное исчисление
-
7 исчисление высказываний
1) Engineering: propositional calculus2) Mathematics: PC (propositional calculus), sentence calculus, sentential calculus3) Information technology: prepositional calculus, sententional calculusУниверсальный русско-английский словарь > исчисление высказываний
-
8 булево исчисление
Русско-английский большой базовый словарь > булево исчисление
-
9 вариационное исчисление
Русско-английский большой базовый словарь > вариационное исчисление
-
10 расширенное исчисление
Русско-английский большой базовый словарь > расширенное исчисление
-
11 ситуационное исчисление
Русско-английский большой базовый словарь > ситуационное исчисление
-
12 дифференциальное исчисление
Русско-английский научный словарь > дифференциальное исчисление
-
13 интегральное исчисление
-
14 операционное исчисление
-
15 операционное исчисление
Русско-английский новый политехнический словарь > операционное исчисление
-
16 реляционное исчисление
Русско-английский словарь по информационным технологиям > реляционное исчисление
-
17 пропозициональное исчисление
1) Mathematics: sentence calculus, sentential calculus2) Logics: propositional calculus3) Information technology: prepositional calculusУниверсальный русско-английский словарь > пропозициональное исчисление
-
18 исчисление высказываний
1) <math.> propositional calculus
2) sentential calculusРусско-английский технический словарь > исчисление высказываний
-
19 исчисление высказываний
propositional calculus, sentential calculusРусско-английский словарь по электронике > исчисление высказываний
-
20 исчисление высказываний
propositional calculus, sentential calculusРусско-английский словарь по радиоэлектронике > исчисление высказываний
- 1
- 2
См. также в других словарях:
sentential calculus — noun Etymology: translation of German satzkalkül : propositional calculus * * * the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations… … Useful english dictionary
sentential calculus — the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations of more elementary statements. Also called propositional calculus, sentential… … Universalium
sentential calculus — senten′tial cal′culus n. pho the branch of symbolic logic that deals with the logical relations between unanalyzed propositions, as conjunction, disjunction, negation, and implication Compare functional calculus Also called propositional calculus … From formal English to slang
sentential calculus — noun Date: 1937 propositional calculus … New Collegiate Dictionary
sentential calculus — /sɛnˌtɛnʃəl ˈkælkjələs/ (say sen.tenshuhl kalkyuhluhs) noun any symbolic systematic set of rules for joining or dividing sentences to form other sentences …
sentential function — A predicate may be thought of as a function from a single term to a sentence, and hence can be called a sentential function. Also, the truth functional connectives are occasionally thought of as functions from sentences to sentences, although… … Philosophy dictionary
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
propositional calculus — Logic. See sentential calculus. [1900 05] * * * Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its… … Universalium
functional calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑predicate calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… … Useful english dictionary
functional calculus — the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.… … Universalium
functional calculus — func′tional cal′culus n. math. pho the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers Also called… … From formal English to slang